REF, NoConds
\\[0ex]ExRepD $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ExRepD$\cdot$